- axiomatic form
- аксиоматическая форма (теории)
English-russian dictionary of physics. 2013.
axiomatic form
Смотреть что такое "axiomatic form" в других словарях:
axiomatic — (adj.) 1797, from Gk. axiomatikos, from axioma (gen. axiomatos); see AXIOM (Cf. axiom). Form axiomatical is attested from 1580s … Etymology dictionary
axiomatic — by Alberto Toscano A term used to define the operation of contemporary capitalism within the universal history and general semiology proposed by Deleuze and Guattari in A Thousand Plateaus. Originating in the discourse of science and… … The Deleuze dictionary
axiomatic — by Alberto Toscano A term used to define the operation of contemporary capitalism within the universal history and general semiology proposed by Deleuze and Guattari in A Thousand Plateaus. Originating in the discourse of science and… … The Deleuze dictionary
Extensive-form game — An extensive form game is a specification of a game in game theory. This form represents the game as a tree. Each node (called a decision node) represents every possible state of play of the game as it is played. Play begins at a unique initial… … Wikipedia
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia
Mathematics, Form and Function — is a survey of the whole of mathematics, including its origins and deep structure, by the American mathematician Saunders Mac Lane. Contents 1 Mac Lane s relevance to the philosophy of mathematics 2 Mathematics and human activities … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia
Geometry — (Greek γεωμετρία ; geo = earth, metria = measure) is a part of mathematics concerned with questions of size, shape, and relative position of figures and with properties of space. Geometry is one of the oldest sciences. Initially a body of… … Wikipedia
